Prospects for studies of $${D^{*0}} \rightarrow {\mu ^+}{\mu ^-}$$ and $${B^{{*0}}_{(s)}}\rightarrow {\mu ^+}{\mu ^-}$$ decays

Superdeduction in Lambda-Bar-Mu-Mu-Tilde

Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way. A proof-term language and a cut-elimination reduction already exist for superdeduction, both based on Christian Urban’s work on classical sequent calculus. However the compu...

$\Sigma^{\mu}_2$ is decidable for $\Pi^{\mu}_2$

Given a Πμ 2 formula of the modal μ calculus, it is decidable whether it is equivalent to a Σμ 2 formula.

Hopf algebroids and the structure of MU∗(MU)

Truncated mu (mu') chains in murine IgM. Evidence that mu' chains lack variable regions

Secreted IgM was shown to contain truncated mu (mu') chains with an apparent molecular mass of approximately 55 kD. The estimated percentage of IgM heavy (H) chains in the mu' form ranged from less than or equal to 1% in the case of one tumor IgM protein (104E) to greater than or equal to 30% in normal serum IgM. Serum mu' chains lacked antigenic determinants characteristic of immunoglobulin va...

How mu h 1 How mu h 1 How mu h 12